Formal Deep